home *** CD-ROM | disk | FTP | other *** search
/ Developer Source 11 / developer source - volume 11.iso / dbprd / aug96 / saraf102.gif < prev    next >
Graphics Interchange Format  |  1998-02-10  |  66KB  |  421x462  |  4-bit (16 colors)
Labels: text | screenshot | font | number | parallel
OCR: Given: ACCT1=$500, ACCT2=$500, ACCT3-$500 TXN1 taking the sum of three accounts ($1500) TXN2 transferring $200 from ACCT3 to ACCT2 TIME EVENT RUNNING SUM (TXN1) TXNT begins. T2 TXN1 reads ACCT1 balance $500 and adds to SUM, T3 TXNT reads ACCT2 balance $1,000 and adds to SUM. T4 TXN2 begins. $1,000 T5 TXN2 reads and subtracts $1,000 $200 from ACCT3. ACCT3=$300. T6 TXN2 adds $200 to ACCT2. $1.000 ACCT2-$700. T7 TXN2 commits. $1,000 18 TXN1 reads ACCT3 balance $1,300 and adds to SUM. FIGURE 2. Inconsistent analysis problem.